GdkEvent: OWNER_CHANGE events have a selection as well
authorTimm Bäder <mail@baedert.org>
Tue, 26 Sep 2017 16:22:27 +0000 (18:22 +0200)
committerTimm Bäder <mail@baedert.org>
Thu, 28 Sep 2017 18:01:01 +0000 (20:01 +0200)
gdk/gdkevents.c

index 33c2d5011e2b52d5c2b649d0c868053914ac2e7f..a2ffcf5cea62efe8472c40f49d225435249d2339 100644 (file)
@@ -3008,7 +3008,8 @@ gdk_event_get_selection (const GdkEvent   *event,
 
   if (event->type == GDK_SELECTION_CLEAR ||
       event->type == GDK_SELECTION_NOTIFY ||
-      event->type == GDK_SELECTION_REQUEST)
+      event->type == GDK_SELECTION_REQUEST ||
+      event->type == GDK_OWNER_CHANGE)
     {
       *selection = event->selection.selection;
       return TRUE;